Wyniki
-
Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems
F. R. Routley, Andrea Loparic
Bulletin of the Section of Logic , 6 /3 (1977) -
Dual spaces for topological Boolean algebras
R. Quackenbush, R. Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 16-18 -
A Note the Logical Dependence of Simple Quantifiers
R. Zuber
Bulletin of the Section of Logic , 23 /4 (1994) s. 168-172 -
On negatively restricting Boolean algebras
R. Zuber
Bulletin of the Section of Logic , 26 /1 (1997) s. 50-54 -
The reals in D*
Matias F. Dias
Bulletin of the Section of Logic , 7 /2 (1978) s. 88 -
A logic for indefinite propositions
G. F. Liddell
Bulletin of the Section of Logic , 6 /3 (1977) -
Hallden-incomplete modal logics that are not strongly incomplete
George F. Schumm
Bulletin of the Section of Logic , 22 /4 (1993) s. 158-160 -
A proof-theoretic analysis of da Costa's C*
Andres R. Raggio
Bulletin of the Section of Logic , 7 /2 (1978) s. 95 -
Some modofications of the Godel translation of classical logic into intuitionistic logic
Branislav R. Boricic
Bulletin of the Section of Logic , 19 /3 (1990) s. 84-86 -
Interpolation theorem for intuitionistic S4
Branislav R. Boricic
Bulletin of the Section of Logic , 20 /1 (1991) s. 2-6 -
Ideal theories of the ring of polynomials over the integres
Luis F. Caceres-Duque
Bulletin of the Section of Logic , 30 /1 (2001) s. 21-31 -
Ideal Theories of some Commutative Rings
Luis F. Caceres-Duque
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 9-18 -
Slaney's Logic F** is Constructive Logic with Strong Negation
M. Spinks, R. Veroff
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 161-174 -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44 -
Equational reasoning in non-classical logics
Marcelo F. Frias, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 2-11 -
The Fraenkel-Carnap Question for Limited Higher-OrderLanguages
George Weaver, Benjamin R. George
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 1-9 -
On Injective MV-Modules
S. Saidi Goraghani, R. A. Borzooei
Bulletin of the Section of Logic , 47 /4 (2018) s. 283-298 -
Characterization of the reduced matrices for the {&,or}-fragment of classical logic
Josep Maria Font, F. Guzman, Ventura Verdu
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 124-129